Resources Needed for a University Computer Science Department
نویسندگان
چکیده
منابع مشابه
Bar Ilan University Department of Computer Science
We present an approach for learning models that obtain accurate classification of data objects, collected in large scale spatiotemporal domains. The model generation is structured in three phases: spatial dimension reduction, spatiotemporal features extraction, and feature selection. Novel techniques for the first two phases are presented, with two alternatives for the middle phase. We explore ...
متن کاملDepartment of Computer Science , University of Otago
We characterise those classes of permutations having the property that for every tableau shape either every permutation of that shape or no permutation of that shape belongs to the class. The characterisation is in terms of the dominance order for partitions (and their conjugates) and shows that for any such class there is a constant k such that no permutation in the class can contain both an i...
متن کاملDepartment of Computer Science , University of Otago
Public announcement logic is an extension of multi-agent epistemic logic with dynamic operators to model the informational consequences of announcements to the entire group of agents. We propose an extension of public announcement logic with a dynamic modal operator that expresses what is true after arbitrary announcements. Intuitively, [!]φ expresses that φ is true after an arbitrary announcem...
متن کاملYale University Department of Computer Science Deniable Anonymous Group Authentication
In some situations, users need to authenticate as distinct members of some welldefined group, without revealing their individual identities: to validate and corroborate a leak, for example, or to count participants in a closed anonymous forum. Current group authentication techniques offering this capability, however, may de-anonymize users if an attacker later compromises their private keys. Ad...
متن کاملHELSINKI UNIVERSITY OF TECHNOLOGY Department of Computer Science and Engineering
II HELSINKI UNIVERSITY OF TECHNOLOGY ABSTRACT OF MASTER’S THESIS Author: Title of the thesis: Date: 7.1.2002 Mikael Johnson Towards Web-based Requirements Management – a Case Study in a Distributed Software Development Organisation Number of Pages: 89 Department: Professorship: Computer Science and Engineering Tik-121 User Interfaces and Usability Supervisor and Instructor: Professor Marko Niem...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The Computer Journal
سال: 1986
ISSN: 0010-4620,1460-2067
DOI: 10.1093/comjnl/29.1.90